package business;

import java.util.HashSet;
import java.util.Set;


public interface AlunoInterface {
	

	/***********************************************************
	 * @return 
	 ***********************************************************/
	public Set<Inscricao> inscricoes();

	/***********************************************************
	 * @return
	 ***********************************************************/
	public Set<Disciplina> disciplinas();

	/***********************************************************
	 * @return
	 ***********************************************************/
	public Set<Matricula> matriculas();

	/***********************************************************
	 * @return
	 ***********************************************************/
	public Set<Perfil> perfis();

	/***********************************************************
	 * @return the numero
	 ***********************************************************/
	public int getNumero();

	/***********************************************************
	 * @param numero
	 *            the numero to set
	 ***********************************************************/
	public void setNumero(int numero);

	/***********************************************************
	 * @param c
	 * @return
	 ***********************************************************/
	public int creditosObtidos(Curso c);

	/***********************************************************
	 * @return
	 ***********************************************************/
	public Set<Disciplina> aprovadas();

	public double media(Curso c);

	
	public Perfil perfilActual() ;
	/*
	 * (non-Javadoc)
	 * 
	 * @see java.lang.Object#toString()
	 */
	@Override
	public String toString();

	public MatriculaInterface getMatriculaActual() ;
	
	public void checkInvariants();

}
